Intensional logics for programming

Författare
(Edited by Luis Fariñas del Cerro and Martti Penttonen.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Clarendon Press 1992 Storbritannien, Oxford 219 sidor.